Metapredicative Subsystems of Analysis
نویسنده
چکیده
In this paper we present some metapredicative subsystems of analysis. We deal with reflection principles, ω-model existence axioms (limit axioms) and axioms asserting the existence of hierarchies. We show several equivalences of the introduced subsystems. In particular we prove the equivalence of Σ1 transfinite dependent choice and Π 1 2 reflection on ω-models of Σ1-DC.
منابع مشابه
Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory
In this article we introduce systems for metapredicative Mahlo in explicit mathematics and admissible set theory. The exact upper prooftheoretic bounds of these systems are established.
متن کاملReliability and Risk Assessment of Electric Cable Shovel at Chadormalu Iron Ore Mine in Iran
Nowadays, shovels play an important role in production of open pit mines and their failures result in significant production loss and considerable increase in maintenance costs. Therefore, reliability and risk analysis can help to improve production, productivity and reduce production costs. In this study, reliability of electric cable shovel of Chadormalu iron ore mine in Iran was investigated...
متن کاملWellordering Proofs for Metapredicative Mahlo
In this article we provide wellordering proofs for metapredicative systems of explicit mathematics and admissible set theory featuring suitable axioms about the Mahloness of the underlying universe of discourse. In particular, it is shown that in the corresponding theories EMA of explicit mathematics and KPm of admissible set theory, transfinite induction along initial segments of the ordinal φ...
متن کاملIterating Σ operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo
In this article we study the theory KPi + (Σ-TR) which (i) describes a recursively inaccessible universe, (ii) permits the iteration of Σ operations along the ordinals, (iii) does not comprise ∈ induction, and (iv) restricts complete induction on the natural numbers to sets. It is shown that the proof-theoretic ordinal of KPi + (Σ-TR) is the metapredicative Mahlo ordinal φω00. Our system KPi + ...
متن کاملRELIABILITY MEASURES AND SENSITIVITY ANALYSIS OF A COMPLEX MATRIX SYSTEM INCLUDING POWER FAILURE
This paper investigates the reliability characteristics of a complex system having nine subsystems arranged in the form of 3x3 matrix in which each row contains three subsystems. The configuration of the row is of the type 2-out-of-3: F. Each subsystem has n units connected in series. The system fails if any one row containing three subsystems fails. The considered system analyzed incorporating...
متن کامل